On the Logical Formalization of Possibilistic Counterparts of States over n-Valued Lukasiewicz Events
نویسنده
چکیده
Possibility and necessity measures are commonly defined over Boolean algebras. This work consider a generalization of these kinds of measures over MV-algebras as a possibilistic counterpart of the (probabilistic) notion of state on MV-algebras. Two classes of possibilistic states over MV-algebras of functions are characterized in terms of (generalized) Sugeno integrals. For reasoning about these representable classes of possibilistic states, we introduce many-valued modal logics based on the Rational Lukasiewicz Logic, that are be shown to be complete with respect to corresponding classes of Kripke models equipped with those states.
منابع مشابه
On the Logical Formalization of Possibilistic Counterparts of States over n-valued Łukasiewicz Events
Possibility and necessity measures are commonly defined over Boolean algebras. This work considers a generalization of these kinds of measures over MV-algebras as a possibilistic counterpart of the (probabilistic) notion of state on MV-algebras. Two classes of possibilistic states over MV-algebras of functions are characterized in terms of (generalized) Sugeno integrals. For reasoning about the...
متن کاملMany-Valued First-Order Logics with Probabilistic Semantics
We present n-valued rst-order logics with a purely proba-bilistic semantics. We then introduce a new probabilistic semantics of n-valued rst-order logics that lies between the purely probabilistic semantics and the truth-functional semantics of the n-valued Lukasiewicz logics Ln. Within this semantics, closed formulas of classical rst-order logics that are logically equivalent in the classical ...
متن کاملSustainable Energy Planning By A Group Decision Model With Entropy Weighting Method Under Interval-Valued Fuzzy Sets And Possibilistic Statistical Concepts
In this paper, a new interval-valued fuzzy multi-criteria group decision-making model is proposed to evaluate each of the energy plans with sustainable development criteria for proper energy plan selection. The purpose of this study is divided into two parts: first, it is aimed at determining the weights of evaluation criteria for sustainable energy planning and second at rating sustainable ene...
متن کاملResilient Supplier Selection in a Supply Chain by a New Interval-Valued Fuzzy Group Decision Model Based on Possibilistic Statistical Concepts
Supplier selection is one the main concern in the context of supply chain networks by considering their global and competitive features. Resilient supplier selection as generally new idea has not been addressed properly in the literature under uncertain conditions. Therefore, in this paper, a new multi-criteria group decision-making (MCGDM) model is introduced with interval-valued fuzzy sets (I...
متن کاملA generalization of the Chen-Wu duality into quantale-valued setting
With the unit interval [0,1] as the truth value table, Chen and Wupresented the concept of possibility computation over dcpos.Indeed, every possibility computation can be considered as a[0,1]-valued Scott open set on a dcpo. The aim of this paper is tostudy Chen-Wu's duality on quantale-valued setting. For clarity,with a commutative unital quantale $L$ as the truth value table, weintroduce a c...
متن کامل